<?php
print json_encode($out);
